退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时间触发架构的形式化验证综述
John Rushby;
机译:时间触发型体系结构的容错启动算法的形式验证:一项调查
机译:关于Rushby“容错时间触发算法的系统形式验证”中公理不一致的注释
机译:容错时间触发算法的系统形式验证
机译:时间触发架构的形式验证概述
机译:正式验证和测试软件体系结构模型。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:时间触发的以太网协议的形式验证 ud使用PRISM模型检查器
机译:关于Rushby对容错时间触发算法的系统形式验证中不一致公理的注记
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:架构验证装置,架构验证方法以及包括用于验证架构的计算机程序代码的计算机可读介质
机译:建筑验证装置,用于验证建筑的方法以及用于验证建筑的计算机可读介质包括计算机程序代码
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。